1. Aspects of computation and automata theory with applications
پدیدآورنده: / editors Noam Greenberg ... [et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory.,Computational complexity.,Recursion theory.
2. Bounded queries in recursion theory
پدیدآورنده: William I. Gasarch, Georgia A. Martin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Recursion theory
رده :
QA
267
.
7
.
G3
3. Complexity, logic, and recursion theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Recursion theory. ;
4. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
پدیدآورنده: Internatinal FCT-confernce, Borgholm, Sweden, 3891
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
رده :
QA
9
.
6
.
I57
1983
5. Fundamentals of computation theory
پدیدآورنده: / edited by Marek Karpinski
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursion theory -- Congresses,Computational complexity -- Congresses,Machine theory -- Congresses,Categories (Mathematics) -- Congresses
رده :
QA
9
.
6
.
I57
1977
6. Fundamentals of computation theory : Proceedings of the 1977 International FCT-Conference Poznan-Kornik, Doland, September 19-23, 1977
پدیدآورنده: / edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Recursion theory - Congresse,Computational complexity - Congresses,Machine theory - Congresses
رده :
QA267
.
I57
1977
7. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56
8. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56
9. Recursion Thery and Complexity
پدیدآورنده: / editors marat M. Arslanov, Steffen Lempp
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Recursion theory Congresses,Computational complexity - Congresses
رده :
QA
9
.
6
.
K39
1999
10. Theory of computation
پدیدآورنده: / Dexter C. Kozen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Computer science--Mathematics,Recursion theory.
رده :
QA
,
267
.
7
,.
K69
,
2006
11. Theory of computation
پدیدآورنده: / Dexter C. Kozen
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computational complexity,Computer science -- Mathematics,Recursion theory
رده :
QA
267
.
7
.
K69
2006
12. Theory of computation
پدیدآورنده: / Dexter C. Kozen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity,Computer science -- Mathematics,Recursion theory
رده :
QA
267
.
7
.
K69
2006
13. Theory of computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Computer science ; Mathematics. ; Recursion theory. ;
